formal proofs - German English Dictionary